---

correctness-oriented programming

英 [kəˈrektnəs ˈɔːrientɪd ˈprəʊɡræmɪŋ] 美 [kəˈrektnəs ˈɔːrientɪd ˈproʊɡræmɪŋ]

网络  面向正确性的程序设计

计算机

---

---